Section: New Software and Platforms
math-comp-real-closed
Real Closed Fields
Keyword: Proof assistant
Functional Description: Theorems for real closed fields
Release Functional Description: First release
Real Closed Fields
Keyword: Proof assistant
Functional Description: Theorems for real closed fields
Release Functional Description: First release